A DECISION PROCEDURE FOR THE FIRST ORDER THEORY OF REAL ADDITION WITH ORDER.FERRANTE J; RACKOFF C.1975; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1975; VOL. 4; NO 1; PP. 69-76; BIBL. 5 REF.Article

THE COMPLEXITY OF LOGICAL THEORIESBERMAN L.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 11; NO 1; PP. 71-77; BIBL. 9 REF.Article

On pairs of additive forms modulo oneSCHÄFFER, S.Mathematical proceedings of the Cambridge Philosophical Society. 1992, Vol 112, Num 3, pp 455-466, issn 0305-0041Article